<body>
	Provides basic classes used in the Underspecification Workbench. 
	Primarily, these are the class <code>JDomGraph</code> for a visual representation
	of a labelled dominance graph as a Swing component, and various classes
	related to the layout algorithm for dominance graphs.
</body>